Введите слово или словосочетание на любом языке 👆
Язык:
Перевод и анализ слов искусственным интеллектом ChatGPT
На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:
- как употребляется слово
- частота употребления
- используется оно чаще в устной или письменной речи
- варианты перевода слова
- примеры употребления (несколько фраз с переводом)
- этимология
Что (кто) такое unification - определение
WIKIMEDIA DISAMBIGUATION PAGE
Unification (disambiguation); Unifying theory; Unification theory; Unification theory (disambiguation)
unification
<programming> The generalisation of pattern matching that is
the logic programming equivalent of instantiation in
logic. When two terms are to be unified, they are
compared. If they are both constants then the result of
unification is success if they are equal else failure. If one
is a variable then it is bound to the other, which may be any
term (which satisfies an "occurs check"), and the
unification succeeds. If both terms are structures then each
pair of sub-terms is unified recursively and the unification
succeeds if all the sub-terms unify.
The result of unification is either failure or success with a
set of variable bindings, known as a "unifier". There may
be many such unifiers for any pair of terms but there will be
at most one "most general unifier", other unifiers simply
add extra bindings for sub-terms which are variables in the
original terms.
(1995-12-14)
unification
n.
Union, junction (so as to become one), incorporation.
unification
n. to achieve, bring about unification (to achieve unification of a country)
Википедия
Unification
Unification or unification theory may refer to:
Примеры употребления для unification
1. Politically, the unification would be a start for unification of Southern opinion.
2. He said unification efforts could not be forced. «There can be no unification through coercion or dismissals.
3. Only about 15% favour unification or independence.
4. "The unification would further destroy our culture.
5. Mr Chen scrapped the National Unification Council (NUC), which was in charge of working towards unification with China, together with a set of guidelines declaring unification with the mainland a long–term national goal.